Skip to content

Playground areas should be resizable #12986

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
lkintact opened this issue May 2, 2025 · 0 comments
Open

Playground areas should be resizable #12986

lkintact opened this issue May 2, 2025 · 0 comments
Labels
layout Issues related to alignment, positioning and spacing/margin/padding needs triage Triage needed by staff and/or partners. Automatically applied when an issue is opened. plus:playground

Comments

@lkintact
Copy link

lkintact commented May 2, 2025

Please have a look at how a Playground window looks on my laptop (I run Windows 10 with a display resolution of 3200x1800px, 250% scaled, using Firefox 138.0.1). Because the HTML, CSS, Javascript and result areas aren't resizable, I have to use scrollbars (outlined in red in the linked image) to see the code/result. Since that's rather inconvenient, I suggest that the areas be resizable, at least vertically.

@github-actions github-actions bot added the needs triage Triage needed by staff and/or partners. Automatically applied when an issue is opened. label May 2, 2025
@caugner caugner added layout Issues related to alignment, positioning and spacing/margin/padding plus:playground labels May 7, 2025
@caugner caugner marked this as a duplicate of #13015 May 12, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
layout Issues related to alignment, positioning and spacing/margin/padding needs triage Triage needed by staff and/or partners. Automatically applied when an issue is opened. plus:playground
Projects
None yet
Development

No branches or pull requests

2 participants